面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

基于知识图谱和自动机器学习的软件缺陷预测

不稳定和召回率低效的软件缺陷预测模型难以在行业领域应用，为解决稳定和高效各项性能评价指标的软件缺陷预测模型在工程实践应用的问题，提出了一种基于知识图谱和自动化机器学习的软件缺陷预测方法AutoKGGAS，首先获取软件缺陷预测模型数据，对知识建模、知识获取、知识融合、知识储存与知识计算等知识图谱构建技术研究，实现知识图谱推荐优质软件缺陷预测模型作为自动化搜索的热启动输入条件，根据不同的软件缺陷预测评价指标，优化不同最佳的模型结构.其次实证研究采用NASA开源数据集实验对象和六种性能评价指标，实验结果表明， AutoKGGAS自动化软件缺陷预测模型在不同数据集不同评价指标方面，性能优于知识图谱推荐的传统经典软件缺陷预测模型.自动化软件缺陷预测模型为航天软件缺陷预测辅助代码审查测试提供了原型，在工程实践应用方面具有重要的意义.     

一种基于虚拟页地址映射的NAND Flash管理算法

本文提出了一种基于虚拟页地址映射的NAND Flash管理算法.该算法通过定义坏块表、对应表等结构，以及设计的坏块替换策略和虚拟页地址到实际物理页地址的转换算法，实现上层软件采用虚拟地址对NAND Flash的无坏块连续页地址访问.该算法是一种高效的地址映射算法，能高效地对数据进行索引，占用SRAM空间较少，使系统达到高性能，并使得闪存使用的更加稳定持久.     

冷板流道结构优化及其钎焊技术

针对航天航空领域中集成电子设备出现的热流密度过高所带来的高效散热技术冷板设计问题与结构制造难题,提出了一种流道设计优化与结构钎焊技术。利用Flotherm热仿真分析软件对导流和结构等进行优化,完成了高效率散热结构设计。同时,对设计的窄流道结构带来的焊接质量问题,进行了钎料和焊接压力参数优化。结果表明:与传统S型流道冷板相比,采用片状导流结构和串并联混合结构的冷板热源温度降低了15℃,并将均温性控制在1.2℃以内。采用控制钎料厚度和工装压力的方法,降低了窄筋流道堵塞和焊接变形趋势。     

基于ProCAST的镁合金惯组支架砂型铸造工艺研究

为实现镁合金惯组支架的高效率、高质量研制,使用ProCAST软件仿真优化ZM5镁合金惯组支架铸造工艺。通过对充型、凝固过程进行分析,发现铸件内部的3条薄壁筋板易出现浇不足、冷隔缺陷,圆弧面内侧厚壁筋条易出现缩孔、缩松等缺陷。经过优化设计,通过采取增加薄壁筋板厚度、调整内浇道位置、改变厚壁筋板上侧冒口结构等措施,较好地避免了上述铸造缺陷的产生,获得了合格的支架铸件。数值模拟仿真技术可应用于绝大多数航天构件的铸造过程分析,实现构件快速研制。     

一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

航电系统集成验证环境中的试验总控系统建设

针对国内军用航空修理行业系统级综合试验现状,根据航电集成验证环境中总控系统的特点和应具有的基本功能,结合视情维修需求及现代软硬件技术状态和成熟试验验证的手段,介绍了航电系统集成验证环境中总控系统的建设思路,给出了总控系统硬件及上位机测试软件的实现方案。该总控系统的应用将提升航电系统的修理验证能力。     

关于设计保证系统适航独立核查的思考

民用飞机主制造商建立设计保证系统，旨在民机研制过程中充分发挥自主适航的能力，通过组织机构、职责、程序和资源落实设计、适航以及独立监督三大职能，以保证航空产品的设计或者设计更改满足适航当局的要求。其中，设计保证系统适航职能的适航独立核查功能正是这一保证的关键。基于对设计保证系统适航独立核查功能的具体分析基础上，从设计保证系统的规划与设计层面提出了实现适航独立核查功能的机制，给出了机制中需明确的责任主体、职责与资质要求、工作流程与支撑工具以及管理程序等方面的建议，并从大数据知识的技术支撑和阶梯式递进的人才培训保障两方面以不断优化改进的方法工具与人力配置来深化适航独立核查的功能与效果，进而增强设计保证系统对飞机型号研制的保证作用。     

涡轴发动机发展与技术趋势

首先,对美国20世纪70年代以来各时期涡轴发动机发展规划及其性能演变过程进行了梳理,并分析了不同循环类型及循环参数的选择,进行了性能统计分析。然后,介绍了直升机/发动机一体化设计理论的基础与方法。最后本文提出新一代超低排放涡轴发动机的概念,指出降低总耗油量的同时提高功重比,才能实现超低排放。     

基于工厂模式的OSLC数据集成接口设计与实现

复杂软件系统往往由不同地域的研发团队采用不同的开发工具来协同完成，研发过程中存在数据难以集成的问题.基于开放式生命周期协作服务(OSLC)规范来设计软件协同开发数据接口，有利于提高软件协同开发的效率.首次结合工厂模式和OSLC规范设计并实现数据集成接口，将不同工具的数据集成抽象成统一的公共接口，从而采用统一的数据接口和规范实现不同工具的数据集成，有利于优化软件系统体系结构.以符合OSLC规范的Bugzilla缺陷管理系统和Jenkins持续集成工具的集成为例，以面向航天软件系统研发的SunwiseAEM一体化研发管理平台为载体，基于工厂模式设计并实现了符合OSLC规范的数据集成系统，实现了不同工具间的数据集成，提供了一种通用的、可扩展的数据集成方式.